E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

Pickering emulsion stabilized by cashew gum- poly-l-lactide copolymer nanoparticles: Synthesis, characterization and amphotericin B encapsulation

In this work, we provide proof-of-concept of formation, physical characteristics and potential use as a drug delivery formulation of Pickering emulsions (PE) obtained by a novel method that combines nanoprecipitation with subsequent spontaneous emulsification process. To this end, pre-formed ultra-small (d.∼10 nm) nanoprecipitated nanoparticles of hydrophobic derivatives of cashew tree gum grafted with polylactide (CGPLAP), were conceived to stabilize Pickering emulsions obtained by spontaneous emulsification. These were also loaded with Amphotericin B (AmB), a drug of low oral bioavailability used in the therapy of neglected diseases such as leishmaniasis. The graft reaction was performed in two CG/PLA molar ratio conditions (1:1 and 1:10). Emulsions were prepared by adding the organic phase (Miglyol 812®) in the aqueous phase (nanoprecipitated CGPLAP), resulting the immediate emulsion formation. The isolation by centrifugation does not destabilize or separate the nanoparticles from oil droplets of the PE emulsion. Emulsions with CGPLAP 1:1 presented unimodal distributions at different CGPLA concentration, lower values in size and PDI and the best stability over time. The AmB was incorporated in the emulsions with a process efficiency of 21-47%, as determined by UV-vis. AmB in CGPLAP emulsions is in less aggregated state than observed in commercial AmB formulation

Targeted knock-down of miR21 primary transcripts using snoMEN vectors induces apoptosis in human cancer cell lines

We have previously reported an antisense technology, 'snoMEN vectors', for targeted knock-down of protein coding mRNAs using human snoRNAs manipulated to contain short regions of sequence complementarity with the mRNA target. Here we characterise the use of snoMEN vectors to target the knock-down of micro RNA primary transcripts. We document the specific knock-down of miR21 in HeLa cells using plasmid vectors expressing miR21-targeted snoMEN RNAs and show this induces apoptosis. Knock-down is dependent on the presence of complementary sequences in the snoMEN vector and the induction of apoptosis can be suppressed by over-expression of miR21. Furthermore, we have also developed lentiviral vectors for delivery of snoMEN RNAs and show this increases the efficiency of vector transduction in many human cell lines that are difficult to transfect with plasmid vectors. Transduction of lentiviral vectors expressing snoMEN targeted to pri-miR21 induces apoptosis in human lung adenocarcinoma cells, which express high levels of miR21, but not in human primary cells. We show that snoMEN-mediated suppression of miRNA expression is prevented by siRNA knock-down of Ago2, but not by knock-down of Ago1 or Upf1. snoMEN RNAs colocalise with Ago2 in cell nuclei and nucleoli and can be co-immunoprecipitated from nuclear extracts by antibodies specific for Ago2

Decision theory applied to image quality control in radiology

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Lymphocyte subsets in human immunodeficiency virus-unexposed Brazilian individuals from birth to adulthood

Ethnic origin, genetics, gender and environmental factors have been shown to influence some immunologic indices, so that development of reference values for populations of different backgrounds may be necessary. We have determined the distribution of lymphocyte subsets in healthy Brazilian individuals from birth to adulthood. Lymphocyte subsets were determined using four-colour cytometry in a cross-sectional study of 463 human immunodeficiency virus-unexposed children and adults from birth through 49 years of age. Lymphocyte subsets varied according to age, as previously observed in other studies. However, total CD4+ T cell numbers were lower than what was described in the Pediatric AIDS Clinical Trials Group P1009 (PACTG P1009), which assessed an American population of predominantly African and Hispanic backgrounds until the 12-18 year age range, when values were comparable. Naïve percentages and absolute values of CD8+ T cells, as assessed by CD45RA expression, were also lower than the PACTG P1009 data for all analysed age ranges. CD38 expression on both CD4+ and CD8+ T cells was lower than the PACTG P1009 values, with a widening gap between the two studies at older age ranges. Different patterns of cell differentiation seem to occur in different settings and may have characteristic expression within each population.Universidade Federal de São Paulo (UNIFESP) Departamento de MedicinaCentro Assistencial Cruz de MaltaUniversidade Federal de São Paulo (UNIFESP) Departamento de PediatriaUNIFESP, Depto. de MedicinaUNIFESP, Depto. de PediatriaSciEL

Promoter polymorphism -119C/G in MYG1 (C12orf10) gene is related to vitiligo susceptibility and Arg4Gln affects mitochondrial entrance of Myg1

<p>Abstract</p> <p>Background</p> <p><it>MYG1 </it>(<it>Melanocyte proliferating gene 1</it>, also C12orf10 in human) is a ubiquitous nucleo-mitochondrial protein, involved in early developmental processes and in adult stress/illness conditions. We recently showed that <it>MYG1 </it>mRNA expression is elevated in the skin of vitiligo patients. Our aim was to examine nine known polymorphisms in the <it>MYG1 </it>gene, to investigate their functionality, and to study their association with vitiligo susceptibility.</p> <p>Methods</p> <p>Nine single nucleotide polymorphisms (SNPs) in the <it>MYG1 </it>locus were investigated by SNPlex assay and/or sequencing in vitiligo patients (n = 124) and controls (n = 325). <it>MYG1 </it>expression in skin biopsies was detected by quantitative-real time PCR (Q-RT-PCR) and polymorphisms were further analysed using luciferase and YFP reporters in the cell culture.</p> <p>Results</p> <p>Control subjects with -119G promoter allele (rs1465073) exhibited significantly higher <it>MYG1 </it>mRNA levels than controls with -119C allele (<it>P </it>= 0.01). Higher activity of -119G promoter was confirmed by luciferase assay. Single marker association analysis showed that the -119G allele was more frequent in vitiligo patients (47.1%) compared to controls (39.3%, <it>P </it>< 0.05, OR 1.37, 95%CI 1.02-1.85). Analysis based on the stage of progression of the vitiligo revealed that the increased frequency of -119G allele occurred prevalently in the group of patients with active vitiligo (n = 86) compared to the control group (48.2% <it>versus </it>39.3%, <it>P </it>< 0.05; OR 1.44, 95%CI 1.02-2.03). Additionally, we showed that glutamine in the fourth position (in Arg4Gln polymorphism) completely eliminated mitochondrial entrance of YFP-tagged Myg1 protein in cell culture. The analysis of available EST, cDNA and genomic DNA sequences revealed that Myg1 4Gln allele is remarkably present in human populations but is never detected in homozygous state according to the HapMap database.</p> <p>Conclusions</p> <p>Our study demonstrated that both <it>MYG1 </it>promoter polymorphism -119C/G and Arg4Gln polymorphism in the mitochondrial signal of Myg1 have a functional impact on the regulation of the <it>MYG1 </it>gene and promoter polymorphism (-119C/G) is related with suspectibility for actively progressing vitiligo.</p

Pseudohypoparathyroidism Type Ib Associated with Novel Duplications in the GNAS Locus

Context: Pseudohypoparathyroidism type 1b (PHP-Ib) is characterized by renal resistance to PTH (and, sometimes, a mild resistance to TSH) and absence of any features of Albright's hereditary osteodystrophy. Patients with PHP-Ib suffer of defects in the methylation pattern of the complex GNAS locus. PHP-Ib can be either sporadic or inherited in an autosomal dominant pattern. Whereas familial PHP-Ib is well characterized at the molecular level, the genetic cause of sporadic PHP-Ib cases remains elusive, although some molecular mechanisms have been associated with this subtype.Objective: The aim of the study was to investigate the molecular and imprinting defects in the GNAS locus in two unrelated patients with PHP-Ib.Design: We have analyzed the GNAS locus by direct sequencing, Methylation-Specific Multiplex Ligation-dependent Probe Amplification, microsatellites, Quantitative Multiplex PCR of Short Fluorescent fragments and array-Comparative Genomic Hybridization studies in order to characterize two unrelated families with clinical features of PHP-Ib.Results: We identified two duplications in the GNAS region in two patients with PHP-Ib: one of them, comprising ~320 kb, occurred ‘de novo’ in the patient, whereas the other one, of ~179 kb in length, was inherited from the maternal allele. In both cases, no other known genetic cause was observed.Conclusion: In this article, we describe the to-our-knowledge biggest duplications reported so far in the GNAS region. Both are associated to PHP-Ib, one of them occurring ‘de novo’ and the other one being maternally inherited.This work was partially supported by Grants IT-795-13 and IT-472-07 from the Basque Department of Education (http://www.hezkuntza.ejgv.euskadi.net/r4​3-2591/es). TV is supported by the FPI Program of the University of Basque Country (UPV-EHU, http://www.ehu.es/p200-home/es)

RNA Modulators of Complex Phenotypes in Mammalian Cells

RNA-mediated gene silencing, in the form of RNA interference (RNAi) or microRNAs (miRNAs) has provided novel tools for gene discovery and validation in mammalian cells. Here, we report on the construction and application of a random small RNA expression library for use in identifying small interfering RNA (siRNA) effectors that can modify complex cellular phenotypes in mammalian cells. The library is based in a retroviral vector and uses convergent promoters to produce unique small complementary RNAs. Using this library, we identify a range of small RNA-encoding gene inserts that overcome resistance to 5-fluorouracil (5-FU)- or tumour necrosis factor alpha (TNF-α)- induced cell death in colorectal cancer cells. We demonstrate the utility of this technology platform by identifying a key RNA effector, in the form of a siRNA, which overcomes cell death induced by the chemotherapeutic 5-FU. The technology described has the potential to identify both functional RNA modulators capable of altering physiological systems and the cellular target genes altered by these modulators